"Matthias Baaz" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Methods of Cut-Elimination (Trends in Logic, 34)

Alexander Leitsch, Matthias Baaz

Категория: Математика, Математическая логика

1.28 Mb

#2

Methods of Cut-Elimination (Trends in Logic, 34)

Alexander Leitsch, Matthias Baaz

Категория: Математика, Математическая логика

3.49 Mb

#3

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper

3.80 Mb

#4

Computer Science Logic

Matthias Baaz, Johann M. Makowsky

6.16 Mb

#5

Computer Science Logic, 17 conf., CSL 2003

Matthias Baaz, Johann M. Makowsky

Категория: Cs_Computer science, CsLn_Lecture notes

4.13 Mb

#6

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings ... / Lecture Notes in Artificial Intelligence

Matthias Baaz, Andrei Voronkov

4.79 Mb